Rename websocket.js to websocket.sub.js. This makes it impossible to forget the substitution. 
diff --git a/websockets/Secure-Close-3000-verify-code.htm b/websockets/Secure-Close-3000-verify-code.htm index 5a13d44..9d385d9 100644 --- a/websockets/Secure-Close-3000-verify-code.htm +++ b/websockets/Secure-Close-3000-verify-code.htm 
@@ -4,7 +4,7 @@  <title>W3C WebSocket API - Close Secure WebSocket - Code is 3000 - verify code in CloseEvent is 3000</title>  <script type="text/javascript" src="/resources/testharness.js"></script>  <script type="text/javascript" src="/resources/testharnessreport.js"></script> - <script type="text/javascript" src="websocket.js?pipe=sub"></script> + <script type="text/javascript" src="websocket.sub.js"></script>  </head>  <body>  <div id="log"></div>